Handle sunos4.1.3 specially.

diff --git a/configure1.in b/configure1.in
index 5087e86ce6d7d5856087e5b47522f9379a6ad72e..af9ed64e4a40fe4bd60f648374bc9afd3eeebf5f 100755 (executable)
--- a/configure1.in
+++ b/configure1.in
@@ -725,6 +725,7 @@ case "${configuration}" in
     esac
     case "${configuration}" in
       *-sunos4.0*        ) opsys=sunos4-0 ;;
+      *-sunos4.1.3*      ) opsys=sunos4-1-3 ;;
       *-sunos4* | *-sunos ) opsys=sunos4-1 ;;
       *-sunos5* | *-solaris* ) opsys=sol2 ;;
       *                          ) opsys=bsd4-2   ;;